type foo =
  | Foo of (int * float)
  | Bar of int * float

type bar = int * float

type bar3 = int * float * float


